| Module | Title | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|---|
| Algorithmic Model Theory I | Algorithmische Modelltheorie | Fach-/Modulprüfung | 9 | 438336 | ||
| Compiler Construction | Compilerbau | Fach-/Modulprüfung | 6 | 439089 | ||
| Dynamical Processes on Networks | Dynamical Processes on Networks | Fach-/Modulprüfung | 6 | 443753 | ||
| Dynamical Processes On Networks (Übungen) | Übung | 443362 | Di 12:30-14:00 H10 (1385|217) (×13) | |||
| Dynamical Processes on Networks | Vorlesung | 443360 | Mi 10:30-12:00 AH III (2350|314.1) (×14) Do 14:30-16:00 AH I (2350|028) (×11) Do 14:30-16:00 AH IV (2354|030) (×1) | |||
| Efficient Algorithms | Effiziente Algorithmen | Fach-/Modulprüfung | 6 | 438771 | ||
| Introduction to Algorithmic Differentiation | Einführung in Computational Differentiation | Fach-/Modulprüfung | 6 | 441451 | ||
| Rechnergestütztes Differenzieren | Vorlesung/Übung | 436286 | Di 14:30-16:00 AH III (2350|314.1) (×14) Di 14:30-16:00 Online-Veranstaltung (×16) Mi 12:30-14:00 AH III (2350|314.1) (×15) Mi 12:30-14:00 Online-Veranstaltung (×15) | |||
| Mathematical Logic II | Mathematische Logik II | Fach-/Modulprüfung | 6 | 439028 | ||
| Model Checking | Model Checking | Fach-/Modulprüfung | 6 | 439625 | ||
| Module Complexity Theory | Komplexitätstheorie | Fach-/Modulprüfung | 6 | 440241 | ||
| Übung zur Vorlesung Komplexitätstheorie | Übung | 435268 | ||||
| Komplexitätstheorie | Vorlesung | 435267 | Di 16:00-18:00 Online-Veranstaltung (×1) Di 16:30-18:00 AH III (2350|314.1) (×6) Di 16:30-18:00 Online-Veranstaltung (×4) Do 10:30-12:00 AH III (2350|314.1) (×10) Do 10:30-12:00 Online-Veranstaltung (×4) | |||
| Satisfiability Checking | Erfüllbarkeitsüberprüfung (Satisfiability Checking) | Fach-/Modulprüfung | 6 | 440284 | ||
| Erfüllbarkeitsüberprüfung | Vorlesung/Übung | 436932 | Mo 08:30-10:00 AH II (2350|111) (×13) Mo 08:30-10:00 Online-Veranstaltung (×13) Di 12:30-14:00 AH II (2350|111) (×14) Di 12:30-14:00 Online-Veranstaltung (×14) |